package ewu

import scala.collection.mutable.ArrayBuffer
import ewu._
import gui._

/**
 * Diese Klasse erweitert eine Anweisung und wird
 * nur fuer die Ausgabe vom Attribut txt verwendet.
 * Sie wird bei der Erstellung der Check-Version
 * als Hilfsklasse verwendet.
 */

case class Text(txt: String) extends Anweisung {
  
  private var text: String = txt;

  override def numerate(num: List[Int]) = {
    number = num
  }
  
  override def tabbate(i: Int) = {
    tabs = i
  }
  
  override def toString(): String = {
    (HM.numberString(number) ++ text ++ "\n")
  }
  
  override def toTabString: String = {
    return (HM.tabString(tabs) ++ text ++ "\n")
  }

  override def trace(env: Environment, aenv: ArrayEnvironment, tt: Layout, h: Int):
                                                (String, Boolean, Int) = ("", true, h+1)
  
  override def propagate(assI: Anweisung): Anweisungsfolge = null
  
  override def propagate(assV: Anweisung, assN: Anweisung): Anweisungsfolge = null

  def getVariables(a: ArrayBuffer[Name]) = {}
  
  def replaceVariable(fromVar: Name, toVar: Expression) = {}
  
}


 